---

axiomatic semantics approach

英 [ˌæksiəˈmætɪk sɪˈmæntɪks əˈprəʊtʃ] 美 [ˌæksiəˈmætɪk sɪˈmæntɪks əˈproʊtʃ]

【计】公理语义学方法

计算机

---

---